8.68/11.43	unsat
