4.27/6.23	unsat
