15.46/17.71	unsat
