6.09/6.42	unsat
