5.34/6.42	unsat
