13.66/16.08	unsat
