42.13/44.75	unsat
