3043.60/3049.98	unsat
