30.98/31.03	unsat
