42.79/48.95	unsat
