16.79/18.43	unsat
