12.19/12.71	unsat
