30.91/31.03	unsat
