47.56/49.19	unsat
