10.27/14.23	unsat
