8.45/12.87	unsat
