5.34/6.33	unsat
