248.77/251.03	unsat
