101.99/102.03	unsat
