12.26/16.71	unsat
