7.19/12.99	unsat
