6.27/6.33	unsat
