7.27/15.15	unsat
