16.26/20.00	unsat
