48.91/49.71	unsat
