4.18/5.42	unsat
