6.27/6.38	unsat
