10.21/12.43	unsat
