3.27/3.33	unsat
