14.27/17.12	unsat
