4.34/6.42	unsat
