1.19/3.42	unsat
