6.34/6.50	unsat
