42.13/43.32	unsat
