10.19/12.43	unsat
