16.86/16.99	unsat
