3.19/4.42	unsat
