7.99/8.03	unsat
