16.96/21.03	unsat
