5.21/6.42	unsat
